x86/domain: factor out pv_vcpu_destroy
authorWei Liu <wei.liu2@citrix.com>
Mon, 24 Apr 2017 13:37:48 +0000 (14:37 +0100)
committerWei Liu <wei.liu2@citrix.com>
Wed, 7 Jun 2017 11:15:56 +0000 (12:15 +0100)
commit3496fc8fb5cfadaa049796069bc5daf634a00c8d
tree063e3cd9b082fff9f1dd4244d45ecde53e7be96e
parentdfecffc84866c505aff2a16f521390a546a2b146
x86/domain: factor out pv_vcpu_destroy

The function is made idempotent on purpose. Note that free_compat_l4,
release_compat_l4 and pv_destroy_gdt_ldt_l1tab are idempotent already.

No functional change.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/domain.c